

const unsigned char* accomp =
  "prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>"
  "prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>"
  "prefix p: <http://www.aifb.kit.edu/policy#>"
  "CONSTRUCT { ?U p:accompaniedBy ?OTH } WHERE {"
  "  ?U a p:AllowedUsage . ?OTH a p:AllowedUsage ."
  "  ?U p:recipient ?UR . ?OTH p:recipient ?OR ."
  "  ?U p:perspective ?P . ?OTH p:perspective ?P ."
  "  { ?UR a ?OR }  UNION"
  "  { ?U a p:AllowedUsage . FILTER (?UR = ?OR) } UNION "
  "  { ?UR rdfs:subClassOf ?OR } }";
				    
const unsigned char* polreq = 
  "  prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> "
  "  prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> "
  "  prefix p: <http://www.aifb.kit.edu/policy#> "
  "  CONSTRUCT { ?R p:allowedBy ?U } WHERE {"
  "     ?R a p:Request . ?U a p:AllowedUsage ."
  "	{ {?P a p:LawPolicy . ?P p:requires ?U} UNION"
  "    {?P a p:PrivatePolicy . ?P p:allows ?U} } ."
  "      ?U p:matches ?R }";

const unsigned char* usagereq = 
  "  prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>"
  "  prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>"
  "  prefix p: <http://www.aifb.kit.edu/policy#>"
  "  CONSTRUCT { ?U p:matches ?R } WHERE {"
  "    ?U a p:AllowedUsage . ?R a p:Request ."
  "    ?R p:purpose ?RP . ?U p:purpose ?UP ."
  "    { ?RP rdfs:subClassOf ?UP } UNION"
  "  { ?U a p:AllowedUsage . FILTER (?RP = ?UP) } ."
  "  ?R p:recipient ?RR . ?U p:recipient ?UR ."
  "  { ?RR rdf:type ?UR } UNION "
  "  { ?U a p:AllowedUsage . FILTER (?RR = ?UR) } UNION"
  "  { ?RR rdfs:subClassOf ?UR  } }";

